why can a field has no trivial ideal